13.58/14.17	unsat
