Since rest time cannot be negative, the solution is $ x = 13 $.