29.94/32.74	unsat
