29.52/29.70	unsat
