31.88/32.07	unsat
