30.43/33.83	unsat
