804.74/806.89	unsat
