32.34/35.07	unsat
