803.75/807.15	unsat
