57.00/60.71	unsat
