59.53/61.86	unsat
