665.80/668.00	unsat
