58.25/64.50	unsat
