27.83/29.74	unsat
