27.48/27.50	unsat
