13.58/14.14	unsat
