29.23/32.37	unsat
