662.13/667.07	unsat
