979.62/982.44	unsat
