12.16/12.24	unsat
