14.36/14.70	unsat
