804.20/806.86	unsat
