6.17/6.24	unsat
