29.63/29.78	unsat
