58.67/60.73	unsat
