30.66/33.41	unsat
