819.94/820.79	unsat
