8.17/8.29	unsat
