681.25/683.77	unsat
