622.17/623.42	unsat
