14.58/17.05	unsat
