804.88/807.23	unsat
