29.61/29.73	unsat
