30.23/33.59	unsat
