975.46/976.92	unsat
