30.29/33.17	unsat
