977.81/982.73	unsat
