29.50/29.88	unsat
