30.82/33.11	unsat
