54.81/60.63	unsat
