12.23/14.17	unsat
