680.89/683.65	unsat
