495.17/495.70	unsat
