29.07/29.78	unsat
