949.97/954.42	unsat
