665.44/667.14	unsat
