665.62/666.70	unsat
