6.18/13.24	unsat
