663.08/664.80	unsat
