30.94/32.22	unsat
