31.00/33.49	unsat
