12.15/12.24	unsat
