817.67/819.30	unsat
