27.12/29.74	unsat
