31.40/33.30	unsat
