56.19/60.50	unsat
