29.75/29.88	unsat
