6.18/6.24	unsat
