10.17/12.19	unsat
