10.18/12.17	unsat
