29.08/29.17	unsat
