13.95/16.70	unsat
