701.56/703.85	unsat
