31.53/33.35	unsat
