805.84/806.90	unsat
