29.88/29.92	unsat
