607.41/609.68	unsat
