30.24/33.17	unsat
