12.18/12.25	unsat
