30.90/33.59	unsat
