803.68/807.14	unsat
