30.91/33.13	unsat
