27.45/29.25	unsat
