57.53/60.24	unsat
