14.58/19.41	unsat
