7.17/7.24	unsat
