30.22/33.63	unsat
