662.04/667.13	unsat
