27.51/29.58	unsat
