29.24/29.37	unsat
