803.36/806.04	unsat
