683.28/684.89	unsat
