808.23/810.00	unsat
