14.26/17.70	unsat
