29.17/32.22	unsat
