818.46/819.95	unsat
