29.36/29.58	unsat
