605.96/609.42	unsat
