26.52/29.20	unsat
