29.32/29.89	unsat
