665.44/666.92	unsat
