6.18/7.24	unsat
