31.15/33.20	unsat
