14.07/14.17	unsat
