29.82/29.95	unsat
