30.22/33.83	unsat
