677.41/683.80	unsat
