27.34/29.25	unsat
