12.13/12.19	unsat
