29.28/32.74	unsat
