31.83/35.20	unsat
