31.66/33.55	unsat
