817.07/820.40	unsat
