29.48/29.70	unsat
