29.40/33.02	unsat
