754.85/981.67	unsat
