29.61/29.72	unsat
