28.80/29.88	unsat
