31.59/33.16	unsat
