482.39/483.17	unsat
