783.80/787.87	unsat
