29.44/32.35	unsat
