606.34/606.92	unsat
