12.06/12.18	unsat
