31.47/35.85	unsat
