14.44/17.70	unsat
