32.94/35.07	unsat
