30.73/33.02	unsat
