56.08/60.00	unsat
