786.09/787.30	unsat
