12.85/13.70	unsat
