31.66/33.87	unsat
